[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 89 77 105 68 102 0 82 229

N.S.

1 1.03 0.90 1.22 0.79 1.19 0.00 0.95 2.66

time (sec)

N/A 0.277 0.077 0.290 0.226 0.276 0.000 0.764 10.049

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 88 76 121 69 117 0 81 218

N.S.

1 1.04 0.89 1.42 0.81 1.38 0.00 0.95 2.56

time (sec)

N/A 0.267 0.091 0.268 0.214 0.272 0.000 0.364 9.499

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 69 96 101 69 110 0 82 207

N.S.

1 0.85 1.19 1.25 0.85 1.36 0.00 1.01 2.56

time (sec)

N/A 0.229 0.023 0.333 0.212 0.280 0.000 0.348 10.333

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 67 101 61 72 124 0 84 193

N.S.

1 0.78 1.17 0.71 0.84 1.44 0.00 0.98 2.24

time (sec)

N/A 0.267 0.020 0.238 0.215 0.262 0.000 0.342 9.925

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 54 61 64 70 100 0 70 69

N.S.

1 0.89 1.00 1.05 1.15 1.64 0.00 1.15 1.13

time (sec)

N/A 0.408 0.010 0.217 0.222 0.260 0.000 0.356 9.762

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 60 65 68 70 106 0 70 70

N.S.

1 0.92 1.00 1.05 1.08 1.63 0.00 1.08 1.08

time (sec)

N/A 0.400 0.020 0.258 0.239 0.260 0.000 0.353 9.539

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 75 97 68 70 109 0 70 70

N.S.

1 0.93 1.20 0.84 0.86 1.35 0.00 0.86 0.86

time (sec)

N/A 0.438 0.021 0.316 0.225 0.277 0.000 0.352 9.677

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 75 97 68 70 115 0 70 70

N.S.

1 0.93 1.20 0.84 0.86 1.42 0.00 0.86 0.86

time (sec)

N/A 0.428 0.027 0.319 0.217 0.270 0.000 0.398 10.295

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 98 97 68 70 122 0 70 70

N.S.

1 1.01 1.00 0.70 0.72 1.26 0.00 0.72 0.72

time (sec)

N/A 0.278 0.024 0.308 0.212 0.267 0.000 0.378 10.110

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 98 97 68 70 128 0 70 70

N.S.

1 1.01 1.00 0.70 0.72 1.32 0.00 0.72 0.72

time (sec)

N/A 0.279 0.024 0.427 0.220 0.261 0.000 0.371 9.595

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 113 110 79 97 111 189 168 96

N.S.

1 0.89 0.87 0.62 0.76 0.87 1.49 1.32 0.76

time (sec)

N/A 0.321 0.480 0.567 0.237 0.302 1.249 0.420 9.729

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 96 99 79 97 98 190 151 96

N.S.

1 0.88 0.91 0.72 0.89 0.90 1.74 1.39 0.88

time (sec)

N/A 0.320 0.393 0.429 0.233 0.285 0.909 0.397 9.471

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 79 90 79 97 85 139 134 96

N.S.

1 0.89 1.01 0.89 1.09 0.96 1.56 1.51 1.08

time (sec)

N/A 0.275 0.158 0.344 0.219 0.264 0.652 0.352 9.625

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 107 78 82 94 99 0 95 132

N.S.

1 0.90 0.66 0.69 0.79 0.83 0.00 0.80 1.11

time (sec)

N/A 0.291 0.063 0.283 0.217 0.273 0.000 0.328 10.283

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 102 114 121 94 118 0 107 333

N.S.

1 0.89 1.00 1.06 0.82 1.04 0.00 0.94 2.92

time (sec)

N/A 0.305 0.043 0.282 0.237 0.279 0.000 0.337 9.678

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 104 76 142 93 131 0 109 297

N.S.

1 0.90 0.66 1.22 0.80 1.13 0.00 0.94 2.56

time (sec)

N/A 0.306 0.120 0.336 0.217 0.306 0.000 0.361 9.274

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 98 74 158 93 115 0 107 288

N.S.

1 0.89 0.67 1.44 0.85 1.05 0.00 0.97 2.62

time (sec)

N/A 0.295 0.123 0.336 0.239 0.278 0.000 0.356 9.633

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 101 76 158 94 152 0 108 276

N.S.

1 0.87 0.66 1.36 0.81 1.31 0.00 0.93 2.38

time (sec)

N/A 0.252 0.295 0.334 0.220 0.268 0.000 0.373 9.996

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 84 76 77 94 153 0 109 267

N.S.

1 0.75 0.68 0.69 0.84 1.37 0.00 0.97 2.38

time (sec)

N/A 0.299 0.091 0.319 0.227 0.273 0.000 0.377 9.755

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 85 102 75 97 167 0 111 217

N.S.

1 0.71 0.86 0.63 0.82 1.40 0.00 0.93 1.82

time (sec)

N/A 0.315 0.030 0.294 0.239 0.315 0.000 0.386 10.418

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 98 110 89 110 111 255 168 109

N.S.

1 0.88 0.99 0.80 0.99 1.00 2.30 1.51 0.98

time (sec)

N/A 0.319 0.467 0.631 0.262 0.311 1.259 0.631 9.210

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 79 100 87 110 98 202 151 108

N.S.

1 0.89 1.12 0.98 1.24 1.10 2.27 1.70 1.21

time (sec)

N/A 0.279 0.372 0.514 0.206 0.269 0.907 0.589 0.078

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 122 88 111 107 112 0 108 178

N.S.

1 0.89 0.64 0.81 0.78 0.82 0.00 0.79 1.30

time (sec)

N/A 0.302 0.082 0.369 0.217 0.280 0.000 0.505 10.012

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 118 86 134 107 131 0 120 371

N.S.

1 0.89 0.65 1.01 0.80 0.98 0.00 0.90 2.79

time (sec)

N/A 0.312 0.122 0.415 0.224 0.288 0.000 0.547 10.264

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 118 86 174 106 145 0 120 342

N.S.

1 0.89 0.65 1.31 0.80 1.09 0.00 0.90 2.57

time (sec)

N/A 0.316 0.111 0.408 0.219 0.325 0.000 0.430 9.895

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 116 86 189 108 159 0 122 333

N.S.

1 0.89 0.66 1.44 0.82 1.21 0.00 0.93 2.54

time (sec)

N/A 0.304 0.177 0.405 0.206 0.275 0.000 0.410 9.709

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 113 86 197 108 159 0 121 322

N.S.

1 0.86 0.66 1.50 0.82 1.21 0.00 0.92 2.46

time (sec)

N/A 0.260 0.328 0.399 0.237 0.272 0.000 0.419 9.904

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 116 86 85 107 179 0 122 311

N.S.

1 0.87 0.65 0.64 0.80 1.35 0.00 0.92 2.34

time (sec)

N/A 0.315 0.140 0.369 0.294 0.267 0.000 0.424 9.851

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 102 113 85 108 180 0 122 296

N.S.

1 0.77 0.85 0.64 0.81 1.35 0.00 0.92 2.23

time (sec)

N/A 0.323 0.032 0.393 0.259 0.293 0.000 0.466 11.032

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 127 96 200 119 172 0 135 378

N.S.

1 0.88 0.66 1.38 0.82 1.19 0.00 0.93 2.61

time (sec)

N/A 0.316 0.119 0.487 0.226 0.298 0.000 0.509 9.731

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 127 96 188 120 144 0 134 368

N.S.

1 0.86 0.65 1.27 0.81 0.97 0.00 0.91 2.49

time (sec)

N/A 0.272 0.110 0.465 0.234 0.274 0.000 0.504 9.622

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 126 96 95 120 192 0 134 357

N.S.

1 0.86 0.66 0.65 0.82 1.32 0.00 0.92 2.45

time (sec)

N/A 0.339 0.128 0.404 0.218 0.273 0.000 0.495 9.349

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 48 49 49 67 981 49 57

N.S.

1 0.93 0.66 0.67 0.67 0.92 13.44 0.67 0.78

time (sec)

N/A 0.303 0.149 0.229 0.304 0.245 32.197 0.329 0.075

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 66 48 49 49 59 862 49 57

N.S.

1 0.90 0.66 0.67 0.67 0.81 11.81 0.67 0.78

time (sec)

N/A 0.398 0.105 0.205 0.214 0.294 19.371 0.313 0.075

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 52 48 49 49 49 741 49 57

N.S.

1 0.95 0.87 0.89 0.89 0.89 13.47 0.89 1.04

time (sec)

N/A 0.383 0.055 0.154 0.212 0.269 11.429 0.424 0.088

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 62 48 44 51 48 0 61 102

N.S.

1 0.95 0.74 0.68 0.78 0.74 0.00 0.94 1.57

time (sec)

N/A 0.270 0.041 0.228 0.205 0.263 0.000 0.399 10.016

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 59 46 46 52 65 0 65 146

N.S.

1 0.95 0.74 0.74 0.84 1.05 0.00 1.05 2.35

time (sec)

N/A 0.298 0.043 0.265 0.217 0.261 0.000 0.397 9.736

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 49 46 42 52 61 0 63 150

N.S.

1 0.82 0.77 0.70 0.87 1.02 0.00 1.05 2.50

time (sec)

N/A 0.293 0.065 0.254 0.225 0.278 0.000 0.426 10.399

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 47 48 44 50 75 0 62 138

N.S.

1 0.73 0.75 0.69 0.78 1.17 0.00 0.97 2.16

time (sec)

N/A 0.283 0.055 0.236 0.218 0.257 0.000 0.430 10.138

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 47 30 49 46 63 0 46 45

N.S.

1 0.92 0.59 0.96 0.90 1.24 0.00 0.90 0.88

time (sec)

N/A 0.385 0.028 0.228 0.215 0.271 0.000 0.416 9.769

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 52 48 49 46 71 0 46 46

N.S.

1 0.95 0.87 0.89 0.84 1.29 0.00 0.84 0.84

time (sec)

N/A 0.429 0.076 0.169 0.221 0.272 0.000 0.329 9.935

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 48 50 46 76 0 46 46

N.S.

1 0.93 0.66 0.68 0.63 1.04 0.00 0.63 0.63

time (sec)

N/A 0.301 0.068 0.165 0.218 0.249 0.000 0.352 10.121

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 48 50 46 84 0 46 46

N.S.

1 0.93 0.66 0.68 0.63 1.15 0.00 0.63 0.63

time (sec)

N/A 0.305 0.071 0.256 0.223 0.248 0.000 0.333 9.707

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 38 39 39 67 682 39 36

N.S.

1 0.96 0.69 0.71 0.71 1.22 12.40 0.71 0.65

time (sec)

N/A 0.290 0.368 0.153 0.221 0.254 53.776 0.337 0.074

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 38 39 39 59 588 39 36

N.S.

1 0.96 0.69 0.71 0.71 1.07 10.69 0.71 0.65

time (sec)

N/A 0.292 0.292 0.235 0.225 0.254 34.246 0.327 0.070

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 38 39 39 47 493 39 36

N.S.

1 0.96 0.69 0.71 0.71 0.85 8.96 0.71 0.65

time (sec)

N/A 0.264 0.130 0.205 0.223 0.256 20.268 0.338 9.860

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 36 34 39 36 0 47 120

N.S.

1 1.00 0.77 0.72 0.83 0.77 0.00 1.00 2.55

time (sec)

N/A 0.265 0.031 0.266 0.227 0.299 0.000 0.313 9.798

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 37 32 34 41 42 0 53 110

N.S.

1 0.86 0.74 0.79 0.95 0.98 0.00 1.23 2.56

time (sec)

N/A 0.284 0.032 0.326 0.228 0.280 0.000 0.333 9.458

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 37 38 36 40 55 0 52 104

N.S.

1 0.79 0.81 0.77 0.85 1.17 0.00 1.11 2.21

time (sec)

N/A 0.288 0.039 0.293 0.218 0.276 0.000 0.348 10.039

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 19 36 52 0 36 34

N.S.

1 1.00 0.65 0.61 1.16 1.68 0.00 1.16 1.10

time (sec)

N/A 0.244 0.024 0.177 0.225 0.250 0.000 0.454 10.304

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 50 38 39 36 57 0 36 36

N.S.

1 0.91 0.69 0.71 0.65 1.04 0.00 0.65 0.65

time (sec)

N/A 0.224 0.039 0.306 0.237 0.258 0.000 0.450 10.646

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 51 38 39 36 65 0 36 36

N.S.

1 0.93 0.69 0.71 0.65 1.18 0.00 0.65 0.65

time (sec)

N/A 0.265 0.054 0.223 0.247 0.257 0.000 0.471 9.752

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 38 40 36 72 0 36 36

N.S.

1 0.96 0.69 0.73 0.65 1.31 0.00 0.65 0.65

time (sec)

N/A 0.287 0.053 0.229 0.222 0.244 0.000 0.496 10.458

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 93 71 68 73 70 2558 193 83

N.S.

1 0.91 0.70 0.67 0.72 0.69 25.08 1.89 0.81

time (sec)

N/A 0.320 0.631 0.282 0.225 0.266 84.901 0.828 0.073

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 76 58 58 61 56 1698 167 69

N.S.

1 0.93 0.71 0.71 0.74 0.68 20.71 2.04 0.84

time (sec)

N/A 0.309 0.542 0.229 0.214 0.257 55.407 0.338 10.111

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 65 51 48 53 48 1102 141 57

N.S.

1 0.96 0.75 0.71 0.78 0.71 16.21 2.07 0.84

time (sec)

N/A 0.269 0.286 0.312 0.221 0.254 35.157 0.353 0.063

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 41 32 33 43 34 0 103 95

N.S.

1 0.91 0.71 0.73 0.96 0.76 0.00 2.29 2.11

time (sec)

N/A 0.272 0.033 0.400 0.216 0.265 0.000 0.345 10.265

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 40 35 39 44 52 0 101 71

N.S.

1 0.85 0.74 0.83 0.94 1.11 0.00 2.15 1.51

time (sec)

N/A 0.294 0.037 0.413 0.216 0.268 0.000 0.354 10.385

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 64 49 49 55 76 0 115 107

N.S.

1 0.98 0.75 0.75 0.85 1.17 0.00 1.77 1.65

time (sec)

N/A 0.298 0.059 0.437 0.242 0.270 0.000 0.375 10.439

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 79 59 59 65 106 0 145 139

N.S.

1 0.95 0.71 0.71 0.78 1.28 0.00 1.75 1.67

time (sec)

N/A 0.303 0.097 0.430 0.225 0.267 0.000 0.407 10.364

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 86 69 67 75 131 0 174 171

N.S.

1 0.90 0.72 0.70 0.78 1.36 0.00 1.81 1.78

time (sec)

N/A 0.258 0.198 0.448 0.223 0.255 0.000 0.386 9.998

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 105 79 68 85 161 0 204 203

N.S.

1 0.90 0.68 0.58 0.73 1.38 0.00 1.74 1.74

time (sec)

N/A 0.312 0.099 0.334 0.224 0.277 0.000 0.381 10.778

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 106 81 81 100 235 0 218 233

N.S.

1 0.88 0.68 0.68 0.83 1.96 0.00 1.82 1.94

time (sec)

N/A 0.273 0.498 0.631 0.226 0.275 0.000 0.395 10.875

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 119 91 78 110 283 0 248 266

N.S.

1 0.88 0.67 0.58 0.81 2.10 0.00 1.84 1.97

time (sec)

N/A 0.330 0.208 0.433 0.216 0.274 0.000 0.576 11.279

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 164 123 244 161 616 23312 769 923

N.S.

1 0.91 0.68 1.35 0.89 3.40 128.80 4.25 5.10

time (sec)

N/A 0.409 0.431 12.307 0.219 0.313 29.064 0.643 18.898

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 146 110 215 143 473 14997 576 819

N.S.

1 0.91 0.69 1.34 0.89 2.96 93.73 3.60 5.12

time (sec)

N/A 0.391 0.293 6.872 0.221 0.290 15.656 0.487 18.001

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 124 122 170 109 282 8675 379 550

N.S.

1 1.01 0.99 1.38 0.89 2.29 70.53 3.08 4.47

time (sec)

N/A 0.334 0.995 3.969 0.214 0.292 8.349 0.330 16.236

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 86 74 122 124 134 0 0 228

N.S.

1 0.95 0.81 1.34 1.36 1.47 0.00 0.00 2.51

time (sec)

N/A 0.341 0.486 1.197 0.255 0.268 0.000 0.000 12.152

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 66 50 91 81 105 0 0 146

N.S.

1 0.97 0.74 1.34 1.19 1.54 0.00 0.00 2.15

time (sec)

N/A 0.326 0.119 0.894 0.255 0.282 0.000 0.000 11.649

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 83 64 0 0 0 0 0 0

N.S.

1 0.98 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.344 0.067 0.000 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 81 72 0 0 0 0 0 0

N.S.

1 0.92 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 177 121 129 86 106 318 167 447

N.S.

1 1.07 0.73 0.78 0.52 0.64 1.93 1.01 2.71

time (sec)

N/A 0.792 0.368 0.734 0.222 0.299 1.788 0.394 14.024

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 165 101 107 76 95 294 137 414

N.S.

1 1.11 0.68 0.72 0.51 0.64 1.97 0.92 2.78

time (sec)

N/A 0.773 0.198 0.534 0.216 0.279 1.258 0.385 14.308

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 137 91 96 76 84 248 122 386

N.S.

1 1.10 0.73 0.77 0.61 0.67 1.98 0.98 3.09

time (sec)

N/A 0.623 0.164 0.460 0.211 0.266 0.929 0.356 14.525

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 122 91 78 63 73 223 122 96

N.S.

1 1.12 0.83 0.72 0.58 0.67 2.05 1.12 0.88

time (sec)

N/A 0.572 0.165 0.384 0.211 0.288 0.635 0.334 10.783

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 126 100 86 106 110 0 201 327

N.S.

1 0.99 0.79 0.68 0.83 0.87 0.00 1.58 2.57

time (sec)

N/A 0.519 0.206 0.293 0.232 0.282 0.000 0.326 12.002

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 127 98 114 121 129 0 198 313

N.S.

1 1.05 0.81 0.94 1.00 1.07 0.00 1.64 2.59

time (sec)

N/A 0.428 0.324 0.356 0.311 0.282 0.000 0.339 10.379

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 146 117 136 131 162 0 214 321

N.S.

1 1.09 0.87 1.01 0.98 1.21 0.00 1.60 2.40

time (sec)

N/A 0.461 1.957 0.351 0.321 0.282 0.000 0.333 9.854

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 129 174 154 122 182 0 220 310

N.S.

1 0.99 1.34 1.18 0.94 1.40 0.00 1.69 2.38

time (sec)

N/A 0.454 6.227 0.317 0.306 0.267 0.000 0.343 9.920

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 148 138 172 136 202 0 213 300

N.S.

1 1.10 1.03 1.28 1.01 1.51 0.00 1.59 2.24

time (sec)

N/A 0.431 0.892 0.330 0.330 0.293 0.000 0.349 10.084

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 164 129 125 222 0 199 291

N.S.

1 1.00 1.34 1.06 1.02 1.82 0.00 1.63 2.39

time (sec)

N/A 0.317 0.032 0.355 0.330 0.298 0.000 0.351 10.600

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 136 193 128 137 254 0 208 285

N.S.

1 1.06 1.51 1.00 1.07 1.98 0.00 1.62 2.23

time (sec)

N/A 0.837 0.169 0.344 0.310 0.277 0.000 0.368 10.996

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 105 175 128 106 210 0 228 385

N.S.

1 1.09 1.82 1.33 1.10 2.19 0.00 2.38 4.01

time (sec)

N/A 0.595 0.019 0.375 0.215 0.271 0.000 0.366 11.112

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 135 215 144 126 225 0 256 285

N.S.

1 1.11 1.76 1.18 1.03 1.84 0.00 2.10 2.34

time (sec)

N/A 0.754 0.196 0.443 0.232 0.273 0.000 0.377 10.635

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 149 301 166 138 259 0 256 285

N.S.

1 1.08 2.18 1.20 1.00 1.88 0.00 1.86 2.07

time (sec)

N/A 0.800 0.193 0.421 0.248 0.274 0.000 0.382 10.411

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 341 184 158 289 0 284 319

N.S.

1 1.09 2.13 1.15 0.99 1.81 0.00 1.78 1.99

time (sec)

N/A 0.949 0.181 0.470 0.223 0.280 0.000 0.393 10.482

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 187 363 177 168 320 0 340 387

N.S.

1 1.06 2.06 1.01 0.95 1.82 0.00 1.93 2.20

time (sec)

N/A 1.006 0.186 0.573 0.238 0.288 0.000 0.388 11.095

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 136 140 138 137 656 208 518

N.S.

1 1.00 0.65 0.67 0.66 0.66 3.14 1.00 2.48

time (sec)

N/A 0.572 0.828 1.043 0.225 0.303 2.568 0.491 12.331

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 126 133 116 124 384 191 543

N.S.

1 1.00 0.69 0.73 0.63 0.68 2.10 1.04 2.97

time (sec)

N/A 0.488 0.626 0.672 0.217 0.291 1.812 0.462 12.269

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 106 111 128 111 529 157 469

N.S.

1 1.00 0.64 0.67 0.78 0.67 3.21 0.95 2.84

time (sec)

N/A 0.487 0.347 0.612 0.218 0.270 1.305 0.411 13.351

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 163 106 111 93 98 282 157 501

N.S.

1 1.07 0.69 0.73 0.61 0.64 1.84 1.03 3.27

time (sec)

N/A 0.698 0.286 0.623 0.218 0.270 0.916 0.374 11.747

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 112 101 123 141 0 245 384

N.S.

1 1.00 0.70 0.63 0.76 0.88 0.00 1.52 2.39

time (sec)

N/A 0.408 5.538 0.440 0.220 0.272 0.000 0.361 12.177

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 162 110 138 173 161 0 274 401

N.S.

1 1.03 0.70 0.87 1.09 1.02 0.00 1.73 2.54

time (sec)

N/A 0.440 0.484 0.388 0.325 0.281 0.000 0.367 10.551

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 174 166 191 199 0 244 377

N.S.

1 1.03 1.24 1.19 1.36 1.42 0.00 1.74 2.69

time (sec)

N/A 0.431 9.064 0.398 0.420 0.273 0.000 0.387 10.308

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 157 209 178 190 219 0 274 384

N.S.

1 1.03 1.37 1.16 1.24 1.43 0.00 1.79 2.51

time (sec)

N/A 0.433 8.409 0.447 0.317 0.285 0.000 0.396 10.386

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 157 227 175 206 245 0 259 373

N.S.

1 1.03 1.48 1.14 1.35 1.60 0.00 1.69 2.44

time (sec)

N/A 0.415 6.280 0.415 0.339 0.276 0.000 0.397 9.779

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 143 264 213 184 265 0 272 363

N.S.

1 1.03 1.90 1.53 1.32 1.91 0.00 1.96 2.61

time (sec)

N/A 0.427 6.377 0.396 0.318 0.301 0.000 0.403 9.398

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 161 270 203 220 303 0 259 657

N.S.

1 1.03 1.72 1.29 1.40 1.93 0.00 1.65 4.18

time (sec)

N/A 0.435 7.109 0.447 0.295 0.298 0.000 0.417 12.378

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 262 142 154 323 0 270 351

N.S.

1 1.00 1.62 0.88 0.95 1.99 0.00 1.67 2.17

time (sec)

N/A 0.439 1.013 0.398 0.297 0.291 0.000 0.402 11.003

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 401 210 221 255 0 260 387

N.S.

1 1.00 2.20 1.15 1.21 1.40 0.00 1.43 2.13

time (sec)

N/A 0.497 0.291 0.337 0.220 0.271 0.000 0.415 13.004

[next] [prev] [prev-tail] [front] [up]